type Foo<T> = Bar<T>